Mahavier completeness and classifying diagrams
نویسندگان
چکیده
منابع مشابه
On the Completeness of Spider Diagrams Augmented with Constants
Diagrammatic reasoning can be described formally by a number of diagrammatic logics; spider diagrams are one of these, and are used for expressing logical statements about set membership and containment. Here, existing work on spider diagrams is extended to include constant spiders that represent specific individuals. We give a formal syntax and semantics for the extended diagram language befor...
متن کاملCarter–Penrose diagrams and differential spaces
In this paper it is argued that a Carter–Penrose diagram can be viewed as a differential space.
متن کاملCompleteness and quasi-completeness
The appropriate general completeness notion for topological vector spaces is quasi-completeness. There is a stronger general notion of completeness, which proves to be too strong in general. For example, the appendix shows that weak-star duals of infinite-dimensional Hilbert spaces are quasi-complete, but never complete in the stronger sense. Quasi-completeness for Fréchet spaces is ordinary me...
متن کاملClassifying Spaces for Braided Monoidal Categories and Lax Diagrams of Bicategories
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. I...
متن کاملCompleteness results for metrized rings and lattices
The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2017
ISSN: 0166-8641
DOI: 10.1016/j.topol.2017.07.007